FUNCTIONAL DECLARATIVE DESIGN